home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Developer Source 12
/
Developer Source Volume 12 (I-MODE Publications, Inc.)(1999).iso
/
visua
/
861
/
andrf104.gif
< prev
next >
Graphics Interchange Format
|
1998-10-01
|
22KB
|
395x217
|
4-bit (16 colors)
Labels:
text
|
screenshot
|
display
|
software
|
number
|
line
OCR:
Hoaut iTrade spa -Trade STO2IO || frosch. TradeTo Trade FOND) speri Figure 4: Adding post-condition assertions.